применяемость предиката

predicate selectivity

предикат с отрицанием — negated predicate

предикат тождественности — sameness predicate

квантификация предиката — quantification of the predicate

узкое исчисление предикатов — restricted predicate calculus

аппарат исчисления предикатов — predicate calculus machinery